Knihy od autora Isil Dillig

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Computer Aided Verification

   Isil Dillig, Serdar Tasiran | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Verification, Model Checking, and Abstract Interpretation

   Isil Dillig, Jens Palsberg | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   Computer Aided Verification

   Isil Dillig, Serdar Tasiran | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více